double-precision quantity - Allemand Anglais Dictionnaire